#[allow(ide_path_autocomplete,ide_dot_autocomplete)]
module 0x42::m {
    public fun t0(): u64 {
        match (true) {
            true => 0
        }
    }

    public fun t1(): u64 {
        match (true) {
        }
    }
}
